A B C D E F G H I L M N O P R S T V W X

C

cancelButton - Variable in class presentation.ChoiceLayoutDialog

cancelButton - Variable in class presentation.StartStatesDialog

CartesianProduct - Class in abstraction

This class executes carthisian product.

CartesianProduct() - Constructor for class abstraction.CartesianProduct

cartesianProduct - Variable in class presentation.CartesianProductPanel

cartesianProductGraph - Variable in class presentation.CartesianProductPanel

cartesianProductLabel - Variable in class presentation.CartesianProductPanel

CartesianProductPanel - Class in presentation

This class is the panel used to show the cartesian product of all available services

CartesianProductPanel(OrchestratorFrame) - Constructor for class presentation.CartesianProductPanel

This is the default constructor

cartesianProductPanel - Variable in class presentation.OrchestratorFrame

cartesianProductScrollPane - Variable in class presentation.CartesianProductPanel

CFStates - Variable in class control.Community

changeRepresentation(JGraph, String) - Static method in class presentation.graph.GraphFactory

Change the layout of the graph

changeRepresentationButton - Variable in class presentation.CartesianProductPanel

changeRepresentationButton - Variable in class presentation.OrchestratorGraphPanel

checkComposition() - Method in class control.Orchestrator

checks if composition exists, that is if the initial states of target and available services are in the simulation set

checkFile(String, String) - Static method in class abstraction.ReadFile

this method check file's correctness (file parser)

checkSimulationOfNextState(CState, Action, State) - Method in class control.Simulation

checks if there is a state of the community going with the selected action to another state that is in simulation with the next state of the target

checkSimulationSet() - Method in class control.Simulation

controls if all records in simulation set are in simulation and if one of them isn't it is deleted

choiceLayoutComboBox - Variable in class presentation.ChoiceLayoutDialog

choiceLayoutContentPane - Variable in class presentation.ChoiceLayoutDialog

ChoiceLayoutDialog - Class in presentation

Dialog that allow to choose the layout for the graph

ChoiceLayoutDialog(Frame) - Constructor for class presentation.ChoiceLayoutDialog

This is the default constructor

choiceLayoutLabel - Variable in class presentation.ChoiceLayoutDialog

clone() - Method in class abstraction.AvailableServices

closeDialog() - Method in class presentation.ChoiceLayoutDialog

close dialod

closeDialog() - Method in class presentation.StartStatesDialog

close dialog

commState - Variable in class control.CState

Community - Class in control

This class permits to create the Cartesian product of all community states and all final states of a set of available services

Community(AvailableServices) - Constructor for class control.Community

community - Variable in class control.Orchestrator

community - Variable in class control.Simulation

community - Variable in class presentation.ExecuteOrchestratorPanel

community - Variable in class presentation.StartStatesDialog

communityState - Variable in class control.SimulatedBy

compositionViaSimulation() - Method in class control.Simulation

creates the final simulation set containing all pairs of states which are in simulation

contains(Set<Service>, Service) - Method in class control.Orchestrator

checks if a service is already present in a set of service

contains(SimulatedBy) - Method in class control.Simulation

checks if the given pair of states is present in the simulation set

containService(Service) - Method in class abstraction.AvailableServices

This method checks if community contains a service

containsPresentAction(State, Action) - Method in class abstraction.Service

say if exist a pair of state-action

control - package control

ConvertPdf - Class in abstraction

This class has only a one method that takes a PDF file, reads and transform it in a String.

ConvertPdf() - Constructor for class abstraction.ConvertPdf

createCommunityStates(Service, int, CState) - Method in class control.Community

creates all states of the community as a Cartesian product of states of available services

createEdge(String, DefaultGraphCell, DefaultGraphCell) - Static method in class presentation.graph.GraphFactory

create an edge

createFinalCommunityState(Service, int, CState) - Method in class control.Community

creates all final states of the community as a Cartesian product of final states of available services

createGraph(Service) - Method in class presentation.graph.GraphFactory

Create a JGraph component from service

createOrchestratorGenerator() - Method in class control.Orchestrator

creates a graph representing the Orchestrator Generator obtained from this orchestrator

createSimulationSet() - Method in class control.Simulation

creates an initial simulation set containing: - all pairs of final target state and final community state - all pairs of not final target state and community state

createVertex(String, boolean) - Static method in class presentation.graph.GraphFactory

create a vertex

createVertexView(Object) - Method in class presentation.graph.StateCellViewFactory

createView(GraphModel, Object) - Method in class presentation.graph.StateCellViewFactory

CState - Class in control

This Class contains a set of state, one for each available service

CState(State[]) - Constructor for class control.CState

CStates - Variable in class control.Community

CustomTableModel - Class in presentation

This class inherit from DefaultTableModel prevents the modification of the cells of the table

CustomTableModel(String[]) - Constructor for class presentation.CustomTableModel

The default constructor